<?php
class devtools_configs_page_model extends model {
}